14 found
Order:
  1.  16
    Conventional Logic and Modern LogicJoseph T. Clark.William W. Boone - 1955 - Isis 46 (1):57-57.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  12
    Turing A. M.. The word problem in semi-groups with cancellation. Annals of mathematics, ser. 2 vol. 52 , pp. 491–505.William W. Boone - 1952 - Journal of Symbolic Logic 17 (1):74-76.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  33
    Goodell John D.. Decision elements. Radio-electronic engineering , 07 1952, pp. 3–5. Goodell John D.. The foundations of computing machinery. The journal of computing systems, vol. 1 no. 1 , pp. 1–13.Lode Tenny. The realization of a universal decision element. The journal of computing systems, vol. 1 no. 1 , pp. 14–22. [REVIEW]Nelson M. Blachman & William W. Boone - 1953 - Journal of Symbolic Logic 18 (3):283-284.
  4.  16
    Britton J. L.. Solution of the word problem for certain types of groups. I. Proceedings of the Glasgow Mathematical Association, vol. 3 , pp. 45–54.Britton J. L.. Solution of the word problem for certain types of groups. II. Proceedings of the Glasgow Mathematical Association, vol. 3 , pp. 68–90. [REVIEW]William W. Boone - 1967 - Journal of Symbolic Logic 32 (1):126-127.
  5.  26
    Joseph R. Rotman. The theory of groups. An introduction. Allyn and Bacon, Inc., Boston1965, xiii + 305 pp. [REVIEW]William W. Boone - 1967 - Journal of Symbolic Logic 32 (1):127.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  15
    Kalmár László. Another proof of the Markov-Post theorem. English with Russian summary. Acta mathematica Academiae Scientiarum Hungaricae, vol. 3 , pp. 1–27. [REVIEW]William W. Boone - 1958 - Journal of Symbolic Logic 23 (4):447-448.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  24
    Novikov P. S.. Ob algoritmičéskoj nérazréšimosti problémy toždéstva . Doklady Akadémii Nauk SSSR, vol. 85 , pp. 709–712. [REVIEW]William W. Boone - 1954 - Journal of Symbolic Logic 19 (1):58-60.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  9
    Review: A. M. Turing, The Word Problem in Semi-Groups with Cancellation. [REVIEW]William W. Boone - 1952 - Journal of Symbolic Logic 17 (1):74-76.
  9.  21
    E. C. Varnum. Relay circuit analysis by odd-even algebra. Machine design, vol. 21 no. 12 , pp. 137–139, 192–193. - E. C. Varnum. Three-relay circuits. Machine design, vol. 23 no. 2 , pp. 121–124, 192, 194–196, 198. - E. C. Varnum. Polynomial determination in a field of integers modulo P. The journal of computing systems, vol. 1 no. 2 , pp. 57–70. [REVIEW]William W. Boone - 1954 - Journal of Symbolic Logic 19 (3):233-233.
  10. Review: J. L. Britton, Solution of the Word Problem for Certain Types of Groups. I; J. L. Britton, Solution of the Word Problem for Certain Types of Groups. II. [REVIEW]William W. Boone - 1967 - Journal of Symbolic Logic 32 (1):126-127.
  11. Review: Joseph R. Rotman, The Theory of Groups. An Introduction. [REVIEW]William W. Boone - 1967 - Journal of Symbolic Logic 32 (1):127-127.
  12.  18
    Review: Laszlo Kalmar, Another Proof of the Markov-Post Theorem. [REVIEW]William W. Boone - 1958 - Journal of Symbolic Logic 23 (4):447-448.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  15
    Review: P. S. Novikov, On Algorithmic Unsolvability of the Word Problem. [REVIEW]William W. Boone - 1954 - Journal of Symbolic Logic 19 (1):58-60.
  14.  13
    E. C. Varnum. Relay circuit analysis by odd-even algebra. Machine design, vol. 21 no. 12 , pp. 137–139, 192–193. - E. C. Varnum. Three-relay circuits. Machine design, vol. 23 no. 2 , pp. 121–124, 192, 194–196, 198. - E. C. Varnum. Polynomial determination in a field of integers modulo P. The journal of computing systems, vol. 1 no. 2 , pp. 57–70. [REVIEW]William W. Boone - 1954 - Journal of Symbolic Logic 19 (3):233-233.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark